41. Dependable Software Engineering
پدیدآورنده: \ Xuandong Li , Zhiming Liu , Wang Yi (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a04,a04,Software engineering -- Congresses.,Software engineering.,نرمافزار -- مهندسی-- کنگره‌ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
758
.
D4
2015
E-Book
,
42. E-Voting and Identity
پدیدآورنده: \ Rolf Haenni , Reto E. Koenig, Douglas Wikström (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Electronic voting -- Congresses.,Data encryption (Computer science) -- Congresses.,Computer software -- Verification -- Congresses.,رأی‌گیری الکترونیکی -- کنگره‌ها ,رمزگذاری داده‌ها -- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
JF
1032
.
E94
2015
E-Book
,
43. E-voting and identity
پدیدآورنده: Aggelos Kiayias, Helger Lipmaa (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses,Data encryption (Computer science), Congresses,Electronic voting, Congresses
رده :
JF1032
.
V68
2011eb
44. Engineering Secure Software and Systems
پدیدآورنده: \ [edited by] Frank Piessens, Juan Caballero, Nataliia Bielova.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer security -- Congresses.,Software engineering -- Congresses.,Data encryption (Computer science) -- Congresses.,کامپیوترها -- ایمنی اطلاعات -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها ,رمزگذاری داده‌ها -- کنگره‌ها
رده :
QA
76
.
9
.
E5
2015
E-Book
,
45. Engineering societies in the agents world X :
پدیدآورنده: Huib Aldewereld, Virginia Dignum, Gauthier Picard (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Expert systems (Computer science), Congresses.,Intelligent agents (Computer software), Congresses.,Machine learning, Congresses.
رده :
QA76
.
76
.
I58
E83
2009eb
46. Engineering theories of software construction
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
N388
2000
47. FM 2015
پدیدآورنده: \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Software engineering.,روش‌های صوری (کامپیوتر) -- کنگره ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
48. FM 2012
پدیدآورنده: Dimitra Giannakopoulou, Dominique Méry (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I593
2012eb
49. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
پدیدآورنده: John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design
رده :
QA
76
.
L28
Vol
.
3582
50. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
پدیدآورنده: Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development
رده :
QA
76
.
L28
Vol
.
1708-1709
51. FME 2002 :
پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
52. FME 2003 :
پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
53. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2805
54. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2391
55. FST TCS 2000
پدیدآورنده: / Sanjiv Kapoor, Sanjiva Prasad (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Software engineering--Congresses,Computer science--Congresses
رده :
QA
,
76
.
751
,.
F68
,
2000
56. FST TCS 2000 :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ; Computer science ; Congresses. ;
57. FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd Conference, Kanpur, India, December 2002 : proceedings
پدیدآورنده: Manindra Agrawal, Anil Seth )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2556
58. FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003: proceedings
پدیدآورنده: Paritosh K. Pandya, Jaikumar Radhakrishnan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2914
59. FST TCS 2001 : foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
پدیدآورنده: Ramesh Hariharan, Madhavan Mukund, V. Vinay )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2245
60. FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
پدیدآورنده: Sanjiv Kapoor, Snajiva Prasad )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1974
